Nuprl Definition : rng_nexp
13,42
postcript
pdf
e
r
n
==
n
e
latex
clarification:
e
r
n
==
n
r
xmn
e
latex
Up
rings
1
Wellformedness Lemmas
rng
nexp
wf
Definitions
n
e
,
r
xmn
origin
r n == n 
e
r n == n r
xmn e r n == n e
r n == n rxmn e exmn